Safe Trajectory Planning of Autonomous Vehicles

This thesis presents a novel framework for safe online trajectory planning of unmanned vehicles through partially unknown environments. The basic planning problem is formulated as a receding horizon optimization problem using mixed-integer linear programming (MILP) to incorporate kino-dynamic, obstacle avoidance and collision avoidance constraints. Agile vehicle dynamics are captured through a hybrid control architecture that combines several linear time-invariant modes with a discrete set of agile maneuvers. The latter are represented by affine transformations in the state space and can be described using a limited number of parameters. We specialize the approach to the case of a small-scale helicopter flying through an urban environment. Next, we introduce the concept of terminal feasible invariant sets in which a vehicle can remain for an indefinite period of time without colliding with obstacles or other vehicles. These sets are formulated as affine constraints on the last state of the planning horizon and as such are computed online. They guarantee feasibility of the receding horizon optimization at future time steps by providing an a priori known backup plan that is dynamically feasible and obstacle-free. Vehicle safety is ensured by maintaining a feasible return trajectory at each receding horizon iteration. The feasibility and safety constraints are essential when the vehicle is maneuvering through environments that are only partially characterized and further explored online. Such a scenario was tested on an unmanned Boeing aircraft using scalable loiter circles as feasible invariant sets. The terminal feasible invariant set concept forms the basis for the construction of a provably safe distributed planning algorithm for multiple vehicles. Each vehicle then only computes its own trajectory while accounting for the latest plans and invariant sets of the other vehicles in its vicinity, i.e., of those whose reachable sets intersect with that of the planning vehicle. Conflicts are solved in real-time in a sequential fashion that maintains feasibility for all vehicles over all future receding horizon iterations. The algorithm is applied to the free flight paradigm in air traffic control and to a multi-helicopter relay network aimed at maintaining wireless line of sight communication in a cluttered environment. Thesis Supervisor: Eric Feron Title: Associate Professor of Aeronautics and Astronautics Thesis Supervisor: Jonathan P. How Title: Associate Professor of Aeronautics and Astronautics Thesis Supervisor: Munther Dahleh Title: Professor of Electrical Engineering and Computer Science